581. Proceedings of the First IEEE Conference on Evolutionary Computation : IEEE World Congress on Computational Intelligence, June 27-June 29, 1994, Walt Disney World Dolphin Hotel, Orlando, Florida
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Neural networks )Computer science( - Congresses , Genetic algorithms - Congresses , Artificial intelligence - Congresses , Evolutionary computation
رده :
QA
76
.
87
.
I342
1994
582. Proceedings of the Second Annual ACM-SIAM Symposium on Discrete Algorithms
پدیدآورنده :
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Computer algorithms
رده :
QA
76
.
9
.
A43
A34
1991
583. Proceedings of the first annual ACM-SIAM symposium on discrete algorithms
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
6
.
A278
1990
584. Proceedings of the second annual acm-siam symposium on discrete algorithms
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
6
.
A278
1991
585. Proceedings of the 6th International Conference on Harmony Search, Soft Computing and Application :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer algorithms ; Congresses. ;
586. Proceedings of the third Annual ACM-SIAM Symposium on Discrete Algorithms
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
6
.
A278
1992
587. Progress in cryptology -- AFRICACRYPT 2018 :
پدیدآورنده : Antoine Joux, Abderrahmane Nitaj, Tajjeeddine Rachidi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Algorithms & data structures.,Computer hardware.,Computer security.,Computer security.,Computers-- Hardware-- General.,Computers-- Hardware-- Network Hardware.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Data encryption (Computer science),Information technology: general issues.,Network hardware.
رده :
QA76
.
9
.
A25
588. Quantifier elimination and cylindrical algebraic decomposition
پدیدآورنده : B.F. Caviness, J.R. Johnson (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra -- Data processing -- Congresses.,Algorithms -- Congresses.,Decomposition method -- Data processing -- Congresses.
589. Randomization methods in algorithm design : DIMACS workshop, December 12-14, 1997
پدیدآورنده : Panos Pardalos, Sanguthevar Rajasekaran, Jose-Rolim, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Stochastic processes,Congresses ، Algorithms,Congresses ، Mathematical optimization
رده :
QA
274
.
A1D5
1997
590. Randomization, relaxation, and complexity in polynomial equation solving : Banff International Research Station Workshop on Randomization, Relaxation, and Complexity, February 28--March 5, 2010, Banff, Ontario ]i.e. Alberta[, Canada
پدیدآورنده : Leonid Gurvits ... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Algorithms,Congresses ، Number theory,Congresses ، Geometry, Algebraic
رده :
QA
241
.
B263
2010
591. Rewriting techniques and applications :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Rewriting systems (Computer science) ; Congresses ; Computer programming ; Congresses ; Algorithms ; Congresses ;
592. Rewriting techniques and applications :
پدیدآورنده : N. Dershowitz, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
593. #Rewriting techniques and applications
پدیدآورنده : #edited by Pierre Lescanne
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Rewriting systems )Computer science(- Congresses ،Electronic digital computers- Programming- Congresses ،Computer algorithms- Congresses
رده :
#
QA
،#.
R48
594. Rewriting techniques and applications :
پدیدآورنده : Harald Ganzinger (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification
رده :
QA267
.
R48
1996
595. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987: Proceedings
پدیدآورنده : edited by Pierre Lescanne
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
256
596. Rewriting techniques and applications; Bordeaux, France, May 25-27, 1987, proceedings
پدیدآورنده : edited by Pierre Lescanne
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Algorithms
رده :
QA
76
.
L4
v
.
256
597. Rewriting techniques and applications : Dijon, France, May 20-22, 1985
پدیدآورنده : edited by Jean-Pierre Jouannaud
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer algorithms,Congresses ، Rewriting systems )computer science(
رده :
QA
76
.
L4
v
.
202
598. Rewriting techniques and applications : Dijon, France, May 20-22, 1985
پدیدآورنده : edited by Jean-Pierre Jouannaud
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
202
599. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
پدیدآورنده : N. Dershowitz, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
355
600. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
پدیدآورنده : International Conference on Rewriting Techniques and Applications )3rd: 9891: Chapel Hill, N.C.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
رده :
QA
267
.
I555
1989
